Late in 1990, the Center for the Study of Ethics in the Professions at Illinois Institute of Technology (lIT) received a grant of more than $200,000 from the National Science Foundation to try a campus-wide approach to integrating professional ethics into its technical curriculum.! Enough has now been accomplished to draw some tentative conclusions. I am the grant's principal investigator. In this paper, I shall describe what we at lIT did, what we learned, and what others, especially philosophers, can learn (...) from us. We set out to develop an approach that others could profitably adopt. I believe that we succeeded. (shrink)

A major question for the relevant logics has been, “Under what conditions is Ackermann's ruleγ from -A ∨B andA to inferB, admissible for one of these logics?” For a large number of logics and theories, the question has led to an affirmative answer to theγ problem itself, so that such an answer has almost come to be expected for relevant logics worth taking seriously. We exhibit here, however, another large and interesting class of logics-roughly, the Boolean extensions of theW — (...) free relevant logics (and, precisely, the well-behaved subsystems of the 4-valued logicBN4) — for which γ fails. (shrink)

One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly (...) discussing a general conception of conditionality that may unify the three given conceptions. (shrink)

Although the system T of ticket entailment is obviously related to its cousins E and R , it is motivated along quite distinctive lines in Anderson and Belnap [1975]. It would seem, accordingly, that T is more nearly akin to the system P W studied in Martin [1978] than to E and R. The result presented here, however, at least suggests the contrary.

The system R## of "true" relevant arithmetic is got by adding the ω-rule "Infer VxAx from AO, A1, A2, ...." to the system R# of "relevant Peano arithmetic". The rule ⊃E (or "gamma") is admissible for R##. This contrasts with the counterexample to ⊃E for R# (Friedman & Meyer, "Whither Relevant Arithmetic"). There is a Way Up part of the proof, which selects an arbitrary non-theorem C of R## and which builds by generalizing Henkin and Belnap arguments a prime (...) theory T which still lacks C. (The key to the Way Up is a Witness Protection Program, using the ω-rule.) But T may be TOO BIG, whence there is a Way Down argument that produces a better theory TR, such that R## ⊆ TR ⊆ T. (The key to the Way Down is a Metavaluation, on which membership in T is combined with ordinary truth-functional conditions to determine TR.) The result is a theory that is Just Right, whence it never happens that A ⊃ C and A are theorems of R## but C is a non-theorem. (shrink)

Modus ponens provides the central theme. There are laws, of the form A→C. A logic L collects such laws. Any datum A provides input to the laws of L. The central ternary relation R relates theories L,T and U, where U consists of all of the outputs C got by applying modus ponens to major premises from L and minor premises from T. Underlying this relation is a modus ponens product operation on theories L and T, whence RLTU iff LTU. (...) These ideas have been expressed, especially with Routley, as worlds semantics for relevant and other substructural logics.Worlds are best demythologized as theories, subject to truth-functional and other constraints. The chief constraint is that theories are taken as closed under logical entailment, which clearly begs the question if we are using the semantics to determine which theory L is Logic itself. Instead we draw the modal logicians’ conclusion—there are many substructural logics, each with its appropriate ternary relational postulates.Each logic L gives rise to a Calculus of L-theories, on which particular candidate logical axioms have the combinatorial properties expected from the well-known Curry–Howard isomorphism . We apply their bubbling lemma, updating the Fools Model of Combinatory Logic at the pure → level for the system BT. We make fusion an explicit connective, proving a combinator correspondence theorem. Having taken relevant → as a left residual for , we explore its right residual mate →r. Finally we concentrate on and prove a finite model property for the classical minimal relevant logic CB, a conservative extension of the minimal positive relevant logic B+. (shrink)

The system B+ is the minimal positive relevant logic. B+ is trivially extended to B+T on adding a greatest truth (Church constant) T. If we leave ∨ out of the formation apparatus, we get the fragment B∧T. It is known that the set of ALL B∧T theories provides a good model for the combinators CL at Level-I, which is the theory level. Restoring ∨ to get back B+T was not previously fruitful at Level-I, because the set of all B+T theories (...) is NOT a model of CL. It was to be expected from semantic completeness arguments for relevant logics that basic combinator laws would hold when restricted to PRIME B+T theories. Overcoming some previous difficulties, we show that this is the case, at Level I. But this does not form a model for CL. This paper also looks for corresponding results at Level-II, where we deal with sets of theories that we call propositions. We adapt work by Ghilezan to note that at Level-II also there is a model of CL in B∧T propositions. However, the corresponding result for B+T propositions extends smoothly to Level-II only in part. Specifically, only some of the basic combinator laws are proved here. We accordingly leave some work for the reader. (shrink)

The system R## of "true" relevant arithmetic is got by adding the ω-rule "Infer VxAx from AO, A1, A2, ...." to the system R# of "relevant Peano arithmetic". The rule ⊃E (or "gamma") is admissible for R##. This contrasts with the counterexample to ⊃E for R# (Friedman & Meyer, "Whither Relevant Arithmetic"). There is a Way Up part of the proof, which selects an arbitrary non-theorem C of R## and which builds by generalizing Henkin and Belnap arguments a prime (...) theory T which still lacks C. (The key to the Way Up is a Witness Protection Program, using the ω-rule.) But T may be TOO BIG, whence there is a Way Down argument that produces a better theory TR, such that R## ⊆ TR ⊆ T. (The key to the Way Down is a Metavaluation, on which membership in T is combined with ordinary truth-functional conditions to determine TR.) The result is a theory that is Just Right, whence it never happens that A ⊃ C and A are theorems of R## but C is a non-theorem. (shrink)

This paper presents completeness and conservative extension results for the boolean extensions of the relevant logic T of Ticket Entailment, and for the contractionless relevant logics TW and RW. Some surprising results are shown for adding the sentential constant t to these boolean relevant logics; specifically, the boolean extensions with t are conservative of the boolean extensions without t, but not of the original logics with t. The special treatment required for the semantic normality of T is also shown along (...) the way. (shrink)

Twenty distinguished philosophers and social theorists have contributed original papers to this stimulating investigation into the nature of the economically just society. Collectively, and in a remarkably coherent fashion, these papers set out the problems of contemporary social theory within the context of the distributive justice vs. property rights debate initiated by the works of John Rawls and Robert Nozick.

Sentential constants have been part of the R environment since Church [1]. They have had diverse uses in explicating relevant ideas and in sim- plifying them technically. Of most interest have been the Ackermann pair of constants t; f, functioning conceptually as a least truth, and as a greatest , under the ordering of propositions under true impli- cation. Also interesting have been the Church constants F; T, functioning similarly as least greatest propositions.

This paper discusses the relation between the minimal positive relevant logic B and intersection and union type theories. There is a marvelous coincidence between these very differently motivated research areas. First, we show a perfect fit between the Intersection Type Discipline ITD and the tweaking BT of B, which saves implication and conjunction but drops disjunction . The filter models of the -calculus (and its intimate partner Combinatory Logic CL) of the first author and her coauthors then become theory models (...) of these calculi. (The logician's "theory" is the algebraist's "filter".) The coincidence extends to a dual interpretation of key particles—the subtype translates to provable , type intersection to conjunction , function space to implication, and whole domain to the (trivially added but trivial) truth T. This satisfying ointment contains a fly. For it is right, proper, and to be expected that type union should correspond to the logical disjunction of B. But the simulation of functional application by a fusion (or modus ponens product) operation on theories leaves the key Bubbling lemma of work on ITD unprovable for the -prime theories now appropriate for the modeling. The focus of the present paper lies in an appeal to Harrop theories which are (a) prime and (b) closed under fusion. A version of the Bubbling lemma is then proved for Harrop theories, which accordingly furnish a model of and CL. (shrink)

We collect together some misgivings about the logic R of relevant inplication, and then give support to a weak entailment logic $DJ^{d}$ . The misgivings centre on some recent negative results concerning R, the conceptual vacuousness of relevant implication, and the treatment of classical logic. We then rectify this situation by introducing an entailment logic based on meaning containment, rather than meaning connection, which has a better relationship with classical logic. Soundness and completeness results are proved for $DJ^{d}$ with respect (...) to a content semantics, which embraces the concept of meaning containment. (shrink)

The Routley-Meyer relational semantics for relevant logics is extended to give a sound and complete model theory for many propositionally quantified relevant logics (and some non-relevant ones). This involves a restriction on which sets of worlds are admissible as propositions, and an interpretation of propositional quantification that makes ∀ pA true when there is some true admissible proposition that entails all p -instantiations of A . It is also shown that without the admissibility qualification many of the systems considered (...) are semantically incomplete, including all those that are sub-logics of the quantified version of Anderson and Belnap’s system E of entailment, extended by the mingle axiom and the Ackermann constant t . The incompleteness proof involves an algebraic semantics based on atomless complete Boolean algebras. (shrink)

The project of this book is to establish that Aristotle, contrary to what some have thought, did have a theory of distinctively "moral" responsibility, and one that is consistent with determinism. It is stipulated early on that having a theory of moral responsibility is a matter of first identifying the proper objects of peculiarly moral evaluation and thus specifying the range of responsible agents, and then identifying the actions for which those responsible agents are responsible. Aristotle’s account of moral character (...) is supposed to do the former. The latter is accomplished with his account of voluntariness. I will begin with that. (shrink)

In the 2005 Kitzmiller v Dover Area School Board case, a federal district court ruled that Intelligent Design creationism was not science, but a disguised religious view and that teaching it in public schools is unconstitutional. But creationists contend that it is illegitimate to distinguish science and religion, citing philosophers Quinn and especially Laudan, who had criticized a similar ruling in the 1981 McLean v. Arkansas creation-science case on the grounds that no necessary and sufficient demarcation criterion was possible and (...) that demarcation was a dead pseudo-problem. This article discusses problems with those conclusions and their application to the quite different reasoning between these two cases. Laudan focused too narrowly on the problem of demarcation as Popper defined it. Distinguishing science from religion was and remains an important conceptual issue with significant practical import, and philosophers who say there is no difference have lost touch with reality in a profound and perverse way. The Kitzmiller case did not rely on a strict demarcation criterion, but appealed only to a “ballpark” demarcation that identifies methodological naturalism as a “ground rule” of science. MN is shown to be a distinguishing feature of science both in explicit statements from scientific organizations and in actual practice. There is good reason to think that MN is shared as a tacit assumption among philosophers who emphasize other demarcation criteria and even by Laudan himself. (shrink)

Preface 9 PART I: RELIGIOUS, SCIENTIFIC, AND PHILOSOPHICAL BACKGROUND Introduction to Part I 19 1. The Bible 27 2. Natural Theology 33 William Paley 3. On the Origin of Species 38 Charles Darwin 4. Objections to Mr. Darwin’s Theory of the Origin of Species 65 Adam Sedgwick 5. The Origin of Species 73 Thomas H. Huxley 6. What Is Darwinism? 82 Charles Hodge 7. Darwinism as a Metaphysical Research Program 105 Karl Popper 8. Karl Popper’s Philosophy of Biology 116 Michael (...) Ruse 9. Human Nature: One Evolutionist’s View 136 Francisco Ayala 10. Universal Darwinism 158 Richard Dawkins PART II: CREATION SCIENCE AND THE McLEAN CASE Introduction to Part II 187 11. The Creationists 192 Ronald L. Numbers 12. Creation, Evolution, and the Historical Evidence 231 Duane T. Gish 13. Witness Testimony Sheet: McLean v. Arkansas Board of Education 253 Michael Ruse 14. United States District Court Opinion: McLean v. Arkansas Board of Education 279 Judge William R. Overton 15. The Demise of the Demarcation Problem 312 Larry Laudan 16. Science at the BarùCauses for Concern 331 Larry Laudan 17. Pro Judice 337 Michael Ruse 18. More on Creationism 345 Larry Laudan 19. Commentary: Philosophers at the BarùSome Reasons for Restraint 350 Barry R. Gross PART III: INTELLIGENT DESIGN CREATIONISM AND THE KITZMILLER CASE Introduction to Part III 369 20. But Isn’t It Creationism? The Beginnings of "Intelligent Design" in the Midst of the Arkansas and Louisiana Litigation 377 Nick Matzke 21. What Is Darwinism? 414 Phillip E. Johnson 22. Is It Science Yet? Intelligent Design, Creationism, and the Constitution 426 Matthew Brauer, Barbara Forrest, and Steven G. Gey 23. Kitzmiller v. Dover Area School District Expert Witness Testimony 434 Michael Behe 24. Kitzmiller v. Dover Area School District Expert Report 456 Robert T. Pennock 25. A Step toward the Legalization of Science Studies 485 Steve Fuller 26. What Is Wrong with Intelligent Design? 495 Elliott Sober 27. United States District Court Memorandum Opinion: Kitzmiller, et al. v. Dover Area School District, et al. 506 Judge John E. Jones II 28. Can’t Philosophers Tell the Difference between Science and Religion? Demarcation Revisited 536 Robert T. Pennock. (shrink)

Responsible conduct of research training typically includes only a subset of the issues that ought to be included in science ethics and sometimes makes ethics appear to be a set of externally imposed rules rather than something intrinsic to scientific practice. A new approach to science ethics training based upon Pennock’s notion of the scientific virtues may help avoid such problems. This paper motivates and describes three implementations—theory-centered, exemplar-centered, and concept-centered—that we have developed in courses and workshops to introduce students (...) to this scientific virtue-based approach. (shrink)

In the 2005 Kitzmiller v Dover Area School Board case, a federal district court ruled that Intelligent Design creationism was not science, but a disguised religious view and that teaching it in public schools is unconstitutional. But creationists contend that it is illegitimate to distinguish science and religion, citing philosophers Quinn and especially Laudan, who had criticized a similar ruling in the 1981 McLean v. Arkansas creation-science case on the grounds that no necessary and sufficient demarcation criterion was possible and (...) that demarcation was a dead pseudo-problem. This article discusses problems with those conclusions and their application to the quite different reasoning between these two cases. Laudan focused too narrowly on the problem of demarcation as Popper defined it. Distinguishing science from religion was and remains an important conceptual issue with significant practical import, and philosophers who say there is no difference have lost touch with reality in a profound and perverse way. The Kitzmiller case did not rely on a strict demarcation criterion, but appealed only to a “ballpark” demarcation that identifies methodological naturalism (MN) as a “ground rule” of science. MN is shown to be a distinguishing feature of science both in explicit statements from scientific organizations and in actual practice. There is good reason to think that MN is shared as a tacit assumption among philosophers who emphasize other demarcation criteria and even by Laudan himself. (shrink)

According to J. L. Schellenberg’s argument from the reasonableness of nonbelief, the fact that many people inculpably fail to find sufficient evidence for the existence of God constitutes evidence for atheism. Schellenberg argues that since a loving God would not withhold the benefits of belief, the lack of evidence for God’s existence is incompatible with divine love. I argue that Schellenberg has not successfully defended his argument’s two controversial premises, that God’s love is incompatible with his allowing some to remain (...) in doubt that he exists, and that the nonbelief of some agnostics is inculpable. From the standpoint of what Christians believe about God, there are plausible reasons, which Schellenberg has not succeeded in refuting, for thinking that all nonbelief is culpable. I argue also that a loving God could have reasons remaining hidden to some persons, which are consistent with his desire to draw all people to faith. (shrink)

Recent work on extended mind theory has considered whether the material realizers of phenomenally conscious states might be distributed across both body and world. A popular framework for understanding perceptual consciousness in world-involving terms is sensorimotor enactivism, which holds that subjects make direct sensory contact with objects by means of their active, exploratory skills. In this paper, I consider the case of emotional experience, and argue that although the enactivist view does not transfer neatly to this domain, there are elements (...) of emotional consciousness whose physical underpinnings include parts of the extra-bodily environment. (shrink)

In this article I propose to discuss some recent theological contributions to the problem of the historicity of the Gospels, and I wish to suggest that philosophical issues may ultimately be relevant to its solution.

The publication in 1957 of the Wolfenden Report occasioned a celebrated controversy in which profound theoretical issues concerning the relation between law and morality, and the legal enforcement of morality were discussed. The principal disputants were Lord Justice Devlin and Professor H. L. A. Hart. It is by now well known that the main recommendation of the Wolfenden Report was the reform of the criminal law so that homosexual behaviour in private between consenting male adults should no longer be a (...) criminal offence. As homosexual behaviour in Christendom was at the outset punishable in the ecclesiastical courts, and subsequently, with the demise of the ecclesiastical courts, in the secular courts, the Wolfenden recommendation on homosexuality marked a major departure from the prevailing state of affairs in which the precepts of Christian morality, especially relating to sexual morals, were at first enforced by the ecclesiastical courts, and then by the secular courts. (shrink)

Creationists have acquired a more sophisticated intellectual arsenal. This book reveals the insubstantiality of their arguments. Creationism is no longer the simple notion it once was taken to be. Its new advocates have become more sophisticated in how they present their views, speaking of "intelligent design" rather than "creation science" and aiming their arguments against the naturalistic philosophical method that underlies science, proposing to replace it with a "theistic science." The creationism controversy is not just about the status of Darwinian (...) evolution—it is a clash of religious and philosophical worldviews, for a common underlying fear among Creationists is that evolution undermines both the basis of morality as they understand it and the possibility of purpose in life. In Tower of Babel, philosopher Robert T. Pennock compares the views of the new creationists with those of the old and reveals the insubstantiality of their arguments. One of Pennock's major innovations is to turn from biological evolution to the less charged subject of linguistic evolution, which has strong theoretical parallels with biological evolution, both in content and in the sort of evidence scientists use to draw conclusions about origins. Of course, an evolutionary view of language does conflict with the Bible, which says that God created the variety of languages at one time as punishment for the Tower of Babel. Several chapters deal with the work of Phillip Johnson, a highly influential leader of the new Creationists. Against his and other views, Pennock explains how science uses naturalism and discusses the relationship between factual and moral issues in the creationism-evolution controversy. The book also includes a discussion of Darwin's own shift from creationist to evolutionist and an extended argument for keeping private religious beliefs separate from public scientific knowledge. (shrink)

In his keynote address at a recent Intelligent Design (ID) conference at Biola University, ID leader William Dembski began by quoting "a well-known ID sympathizer" whom he had asked to assess the current state of the ID movement. Dembski explained that he had asked because, "after some initial enthusiasm on his part three years ago, his interest seemed to have flagged" (Dembski 2002). The sympathizer replied that..

I consider what it might mean to teach creationism and offer a variety of educational, legal, religious, and philosophical arguments for why it is improper to teach it in public school science classes and possibly elsewhere as well. I rebut the standard creationist arguments for inclusion. I also rebut Rawlsian arguments offered by philosopher of religion Alvin Plantinga.

This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1955.

That Intelligent Design Creationism rejects the methodological naturalism of modern science in favor of a premodern supernaturalist worldview is well documented and by now well known. An irony that has not been sufficiently appreciated, however, is the way that ID Creationists try to advance their premodern view by adopting (if only tactically) a radical postmodern perspective. This paper will reveal the deep threads of postmodernism that run through the ID Creationist movement’s arguments, as evidenced in the writings and interviews of (...) its key leaders. Seeing their arguments and activities from this perspective highlights the danger to science posed by both ID Creationism and radical postmodernism. (shrink)

For a Ruthless Critique of All that Exists takes as its point of departure two profound and interrelated phenomena. The first is the pervasive sense of what Mark Fisher had called "capitalist realism", in which (to cite the famous expression variously attributed to Fredric Jameson and Slavoj Žižek) it is easier to imagine the end of the world than then end of capitalism. As Jameson in particular has noted, "perhaps this is due to some weakness in our imaginations," and the (...) attenuation of the imaginative function in cultural criticism has far-reaching implications for the organization and reformation of institutions more generally. This manifests itself as a waning of speculative or theoretical energy, which in turn leads to a general capitulation to the tyranny of "what is," the actually existing state of affairs, and the preemptive disavowal of alternative possibilities. Connected to this is the second phenomenon: the prevalent tendency in literary and cultural criticism over the past 30 or more years to eschew critical theory and even critique itself, while championing approaches to cultural study that emphasize surface reading, thin description, ordinary language philosophy, object-oriented ontology, and post-critique. Together these forms of anticritical and antitheoretical criticism have constituted a tendency that has in its various incarnations come to dominate the humanities and other areas of higher education in recent years. The latter has served to reinforce the former, and the result has been to align literary and cultural criticism with the broad-based forces of neoliberalism whose influence has so deleteriously transformed not only higher education but the whole of society at large. Robert T. Tally Jr. argues that, in order to counter these trends and empower the imagination, the time is ripe for "a ruthless critique of all that exists," to borrow a phrase from the young Marx. This book is intended as a provocation, at once a polemic and a call to action for cultural critics. (shrink)

An exploration of the scientific mindset—such character virtues as curiosity, veracity, attentiveness, and humility to evidence—and its importance for science, democracy, and human flourishing. Exemplary scientists have a characteristic way of viewing the world and their work: their mindset and methods all aim at discovering truths about nature. In An Instinct for Truth, Robert Pennock explores this scientific mindset and argues that what Charles Darwin called “an instinct for truth, knowledge, and discovery” has a tacit moral structure—that it is (...) important not only for scientific excellence and integrity but also for democracy and human flourishing. In an era of “post-truth,” the scientific drive to discover empirical truths has a special value. Taking a virtue-theoretic perspective, Pennock explores curiosity, veracity, skepticism, humility to evidence, and other scientific virtues and vices. He explains that curiosity is the most distinctive element of the scientific character, by which other norms are shaped; discusses the passionate nature of scientific attentiveness; and calls for science education not only to teach scientific findings and methods but also to nurture the scientific mindset and its core values. Drawing on historical sources as well as a sociological study of more than a thousand scientists, Pennock's philosophical account is grounded in values that scientists themselves recognize they should aspire to. Pennock argues that epistemic and ethical values are normatively interconnected, and that for science and society to flourish, we need not just a philosophy of science, but a philosophy of the scientist. (shrink)

Although there are a host of distinct issues associated with discussions of realism and antirealism, the most fundamental is the ontological question whether there is a mind-independent world, a world with a determinate, intrinsic nature that is independent of our theoretical and practical interaction with it. That there is such a mind-independent world is the minimal and most crucial requirement of realism. The main purpose of this paper is to defend this ontological requirement of realism. The ontological requirement involves two (...) propositions---that objects exist whether or not they are known to exist, and that the world has an intrinsic nature that does not depend on our concepts, values, or interests. I defend realism against a number of objections offered by Putnam and Goodman. I argue that the ontological requirement of realism is not undermined by objections to it based upon a consideration of problems concerning reference, the implications of the “agent point of view,” the interest-relativity of concepts, or the multiplicity of versions of the world. (shrink)

One new development in the ongoing creationism/ evolution controversy has been the proposal to institute optout policies that would allow creationist parents to exempt their children from any instruction involving evolution. By way of an explanation of some of the philosophical issues at play in the debate over evolution and the nature of science, this article shows the educational folly of such policies. If evolution is taught properly, it should not be possible to opt out of it without opting out (...) of biology. Moreover, if Intelligent Design creationist criticisms of evolution and scientific naturalism were taken as the basis for opting out, then the effect would be even more radical and would require opting out of science entirely. (shrink)

Although Frederick Denison Maurice is best known today for his contributions to the theological debates of the nineteenth century, his life’s work was very much that of a professional philosopher. His appointment to the Knightbridge Professorship at Cambridge in 1866 was noteworthy because of his involvement in the controversial Christian Socialist movement and because of his previous dismissal from King’s College, London, for his unorthodox theological opinions. But there was never any question—even among the opponents of his nomination—about his competence (...) as a philosopher. He was considered a capable successor to William Whewell; and was himself soon followed by Henry Sidgwick in this important post. Maurice’s two volume history, Moral and Metaphysical Philosophy, which was considered his major work by many of his contemporaries, was the product of over thirty years of continuous teaching and research. His philosophical thought, therefore, deserves consideration on its own merits. (shrink)